منابع مشابه
Chronos Version 2.0 User Manual
This user manual describes the second release of Chronos, a prototype tool that performs Worst Case Execution Time (WCET) analysis of embedded software. Compared to most other WCET tools, Chronos models the timing effects of more contemporary micro-architectures on the execution time of a program. Hence it produces tighter WCET estimates. This manual contains an overview of WCET analysis, a bri...
متن کاملChronos: Stress Makes the Clock Tick
There is a clock inside every mammalian cell whose complexity exceeds that of any Swiss watch. Made of genes and proteins linked in mutually controlling feedback loops, the cellular clock regulates both itself and multiple circadian processes, including secretion, protein synthesis, and response to stress. The whole-body clock that governs our sleep–wake cycle and that is entrained by exposure ...
متن کاملChronos: A timing analyzer for embedded software
Estimating the Worst-case Execution Time (WCET) of real-time embedded software is an important problem. WCET is defined as the upper bound b on the execution time of a program P on a processor X such that for any input the execution time of P on X is guaranteed to not exceed b. Such WCET estimates are crucial for schedulability analysis of real-time systems. In this paper, we present Chronos, a...
متن کاملCHRONOS : A journey through martian history
Introduction: In analogy with Earth’s ice sheets, the key to martian climate history lies below the surface, recorded in pristine stratigraphy that has not been scoured by modern surface processes and is not readily visible from orbit. Following methods established in Greenland and Antarctica, Chronos proposes to tell the story of martian climate history as a simpler analog to that of Earth’s, ...
متن کاملChronos - Scalable Model Versioning, Querying & Persistence
The discipline of model engineering has matured considerably over the last years and is applied in a wide array of domains, ranging from embedded software development to IT landscape documentation. A variety of different model repositories attempt to meet the requirements that emerge when working on models, most notably efficient persistence, versioning and query capabilities. However, existing...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Il Nuovo Cimento B Series 11
سال: 1975
ISSN: 1826-9877
DOI: 10.1007/bf02755538